🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧩 Theorem Proving

Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·3d
🧭SMT Solvers
How Mintlify uses Claude Code as a technical writing assistant
mintlify.com·12h·
Discuss: Hacker News
🔧Compiler Design
I Used AI to Write Code for 30 Days Straight. Here's What Actually Happened
dev.to·3h·
Discuss: DEV
🧭SMT Solvers
Simpler Category Theory
ryanbrewer.dev·23h·
Discuss: Hacker News
🔄Category Theory
Constrained Decoding for Diffusion LLMs
constrained-diffusion.ai·1h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·9h·
Discuss: r/rust
🧠Memory Management
GRILE: A Benchmark for Grammar Reasoning and Explanation in Romanian LLMs
arxiv.org·9h
🔗Parser Combinators
You Can Build Better AI Agents in Java Than Python
medium.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
The Claude Code / AI Dilemma
reddit.com·16h·
Discuss: r/ClaudeAI
🧫Cellular Automata
What it took to make a multi-agent trading simulation durable and observable
union.ai·1h·
Discuss: Hacker News
⚡Concurrency
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·23h·
Discuss: Lobsters, Hacker News
🔧Compiler Design
I Built a Tool to Stop Explaining My Codebase to AI Every Single Time
vibe.forem.com·1d·
Discuss: DEV
🔧Compiler Design
how to decide on the sequence of computable numbers
academia.edu·10h·
Discuss: Hacker News, r/programming
📈Complexity Theory
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·2d
🧮Programming Language Theory
Efficient Constraint-Aware Flow Matching via Randomized Exploration
arxiv.org·1d
🎯Constraint Programming
Who Sees What? Structured Thought-Action Sequences for Epistemic Reasoning in LLMs
arxiv.org·9h
🔧Compiler Design
Show HN: I Boiled a Decade of Debugging into a Practical Guide
jwworth.gumroad.com·1d·
Discuss: Hacker News
🔍Static Analysis
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com·1d
🧮Programming Language Theory
Saleae Analyzer for the BDM protocol
zetier.com·14h
💾Retrocomputing
Building a Regex Engine
abstractsyntaxseed.com·1d·
Discuss: Lobsters, Hacker News
🔗Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap